Books by author Serdar Tasiran

Showing 1 – 5 out of 5 results

1. 

   Computer Aided Verification

   Isil Dillig, Serdar Tasiran | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Runtime Verification

   Oleg Sokolsky, Serdar Tasiran | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Computer Aided Verification

   Isil Dillig, Serdar Tasiran | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Runtime Verification

   Shaz Qadeer, Serdar Tasiran | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Verified Software. Theories, Tools and Experiments

   Andrew Reynolds, Serdar Tasiran | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy

You can choose among many payment option. Find out more